2

Martin-Löf complexes

Year:
2013
Language:
english
File:
PDF, 453 KB
english, 2013
3

Combinatorial realizability models of type theory

Year:
2013
Language:
english
File:
PDF, 457 KB
english, 2013
5

Unitary Theories, Unitary Categories

Year:
2010
Language:
english
File:
PDF, 293 KB
english, 2010
6

Categorical simulations

Year:
2010
Language:
english
File:
PDF, 475 KB
english, 2010
7

Iterated realizability as a comma construction

Year:
2008
Language:
english
File:
PDF, 265 KB
english, 2008
8

Ordered partial combinatory algebras

Year:
2003
Language:
english
File:
PDF, 366 KB
english, 2003
9

All realizability is relative

Year:
2006
Language:
english
File:
PDF, 392 KB
english, 2006
10

Locally anisotropic toposes

Year:
2017
Language:
english
File:
PDF, 624 KB
english, 2017
11

Isotropy of Algebraic Theories

Year:
2018
Language:
english
File:
PDF, 275 KB
english, 2018